大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 European Pacemaker Colloquium 的图书(共1343本)

Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号:
作者:Cerioli、 Maura.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号:
作者:Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号:
作者:Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号:
作者:Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algorithms-ESA 2005 [electronic resource] : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings

0
索取号:
作者:Brodal、 Gerth St酶lting.、Leonardi、 Stefano.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI Users鈥Dzoup Meeting Sorrento, Italy, September 18-21, 2005. Proceedings

0
索取号:
作者:Martino、 Beniamino.、Kranzlm眉ller、 Dieter.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Research and Advanced Technology for Digital Libraries [electronic resource] : 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005. Proceedings

0
索取号:
作者:Rauber、 Andreas.、Christodoulakis、 Stavros.、Tjoa、 A Min.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号:
作者:Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Databases and Information Systems [electronic resource] : 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005. Proceedings

0
索取号:
作者:Eder、 Johann.、Haav、 Hele-Mai.、Kalja、 Ahto.、Penjam、 Jaan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

0
索取号:
作者:Godo、 Llu铆s.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Information Retrieval [electronic resource] : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005. Proceedings

0
索取号:
作者:Losada、 David E.、Fern谩ndez-Luna、 Juan M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

0
索取号:
作者:Liu、 Zhiming.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link枚ping, Sweden, June 10-11, 2004. Revised Selected Papers

0
索取号:
作者:A脽mann、 Uwe.、Aksit、 Mehmet.、Rensink、 Arend.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Artificial Life [electronic resource] : 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedings

0
索取号:
作者:Capcarr猫re、 Mathieu S.、Freitas、 Alex A.、Bentley、 Peter J.、Johnson、 Colin G.、Timmis、 Jon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multi-Agent Systems and Applications IV [electronic resource] : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 鈥౷, 2005. Proceedings

0
索取号:
作者:P臎chou膷ek、 Michael.、Petta、 Paolo.、Varga、 L谩szl贸 Zsolt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

0
索取号:
作者:Black、 Andrew P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.